61. Electronic voting :
Author: Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic voting, Congresses.,Computer networking & communications.,Computer security.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Computers-- Software Development & Engineering-- General.,Data encryption.,Electronic voting.,Ethical & social aspects of IT.,Public administration.,Software Engineering.
Classification :
JF1032
62. Encyclopedia of Computer Science and Technology /
Author: edited by Phillip A. Laplante.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.
Classification :
T58
.
5
.
E53
2017
63. Eurographics Tutorials '83
Author: edited by Paul J.W. Hagen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Software engineering.
Classification :
T385
.
E358
1984
64. FPGA-Based Acceleration of the Self-organizing Map (SOM) Algorithm Using High-level Synthesis
Author: Oninda, Mohammad Abdul Moin
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering,Electrical engineering
65. FPGA-Based Acceleration of the Self-organizing Map (SOM) Algorithm Using High-level Synthesis
Author: Oninda, Mohammad Abdul Moin
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering,Electrical engineering
66. Formal Methods for Distributed System Development :
Author: PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
67. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
68. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
69. 5G for Future Wireless Networks: First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
Author: / Edited by Keping Long... [et al.].
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: مخابرات,Mobile communication systems,مخابرات,Mobile communication systems, -- کنگرهها, -- Congresses, -- سیستمهای سیار, -- سیستمهای سیار,a03,a03,a05,a05,Mobile communication systems.,Wireless Networks.,5G technologies.,Mobile Internet.,Smart phones.
70. GPU computing gems /
Author: [edited by] Wen-mei W. Hwu
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics,Graphics processing units-- Programming,Image processing-- Digital techniques,Imaging systems
Classification :
T385
.
G6875
2012
71. Guide to ambient intelligence in the IoT environment :
Author: Zaigham Mahmood, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ambient intelligence.,Internet of things.,Ambient intelligence.,Internet of things.
Classification :
QA76
.
9
.
A48
G85
2019
72. Guide to discrete mathematics :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
Classification :
QA76
.
9
.
M35
73. Guide to scientific computing in C++ /
Author: Joe Pitt-Francis, Jonathan Whiteley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Science-- Data processing.,C++ (Computer program language),Computer modelling & simulation.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Maths for computer scientists.,Programming & scripting languages: general.,Science-- Data processing.,Software Engineering.
Classification :
QA76
.
73
.
C153
74. High Performance Computing in Science and Engineering '99
Author: edited by Egon Krause, Willi Jäger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry.,Computer science-- Mathematics.,Computer simulation.,Engineering.,Mathematical physics.,Mathematics.,Physics.
75. Image Analysis and Processing :
Author: edited by Carlo Braccini, Leila DeFloriani, Gianni Vernazza.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
Classification :
TA1632
.
E358
1995
76. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
Author: edited by Fevzi Belli, Franz Josef Radermacher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business.,Computer science.,Management science.
Classification :
Q334
.
E358
1992
77. Information Technology -- New Generations :
Author: Shahram Latifi, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Electrical engineering.,Information technology, Congresses.,Algorithms & data structures.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electrical engineering.,Information retrieval.,Information technology.
Classification :
QA75
.
5
78. Information and communications security :
Author: David Naccache [and 7 more] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Telecommunication systems-- Security measures, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Online Services-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,Telecommunication systems-- Security measures.
Classification :
QA76
.
9
.
A25
79. Intelligent Decision Technologies :
Author: edited by Junzo Watada, Toyohide Watanabe, Gloria Phillips-Wren, Robert J. Howlett, Lakhmi C. Jain.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Engineering.
80. Intelligent information and database systems :
Author: Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
Classification :
Q334
.
A85
2019
